Ian Pratt-Hartmann: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Temporal prepositions and their logic

Ian Pratt-Hartmann

Journal:

Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 313 KB

english, 2005

2

Handbook of Spatial Logics || Spatial Reasoning and Ontology: Parts, Wholes, and Locations

Aiello, Marco, Pratt-Hartmann, Ian, Van Benthem, Johan

Year:

2007

Language:

english

File:

PDF, 729 KB

english, 2007

3

The Syllogistic with Unity

Pratt-Hartmann, Ian

Journal:

Journal of Philosophical Logic

Year:

2013

Language:

english

File:

PDF, 501 KB

english, 2013

4

Topological Logics with Connectedness over Euclidean Spaces

Kontchakov, Roman, Nenov, Yavor, Pratt-Hartmann, Ian, Zakharyaschev, Michael

Journal:

ACM Transactions on Computational Logic

Year:

2013

Language:

english

File:

PDF, 2.96 MB

english, 2013

5

Handbook of Spatial Logics ||

Aiello, Marco, Pratt-Hartmann, Ian, Van Benthem, Johan

Year:

2007

Language:

english

File:

PDF, 8.43 MB

english, 2007

6

On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics

Ian Pratt-Hartmann

Journal:

Bulletin of Symbolic Logic

Year:

2008

Language:

english

File:

PDF, 3.52 MB

english, 2008

7

Spatial reasoning with RCC

Kontchakov, Roman, Pratt-Hartmann, Ian, Zakharyaschev, Michael

Journal:

Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 1.25 MB

english, 2014

8

Finite satisfiability for two-variable, first-order logic with one transitive relation is decidable

Pratt-Hartmann, Ian

Journal:

Mathematical Logic Quarterly

Year:

2018

Language:

english

File:

PDF, 634 KB

english, 2018

9

A Two-Variable Fragment of English

Ian Pratt-Hartmann

Journal:

Journal of Logic, Language and Information

Year:

2003

Language:

english

File:

PDF, 233 KB

english, 2003

10

Two-Variable First-Order Logic with Equivalence Closure

Kieroński, Emanuel, Michaliszyn, Jakub, Pratt-Hartmann, Ian, Tendera, Lidia

Journal:

SIAM Journal on Computing

Year:

2014

Language:

english

File:

PDF, 690 KB

english, 2014

11

Special Issue on Guarded and Decidable Fragments || Complexity of the Two-Variable Fragment with Counting Quantifiers

Ian Pratt-Hartmann

Journal:

Journal of Logic, Language and Information

Year:

2005

Language:

english

File:

PDF, 2.66 MB

english, 2005

12

[untitled]

Review by: Ian Pratt-Hartmann

Journal:

Bulletin of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 146 KB

english, 2004

13

The Hamiltonian Syllogistic

Ian Pratt-Hartmann

Journal:

Journal of Logic, Language and Information

Year:

2011

Language:

english

File:

PDF, 338 KB

english, 2011

14

Elementary Polyhedral Mereotopology

Ian Pratt-Hartmann, Dominik Schoop

Journal:

Journal of Philosophical Logic

Year:

2002

Language:

english

File:

PDF, 228 KB

english, 2002

15

Data-complexity of the two-variable fragment with counting quantifiers

Ian Pratt-Hartmann

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 463 KB

english, 2009

16

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Two-Variable First-Order Logic with Equivalence Closure

Kieronski, Emanuel, Michaliszyn, Jakub, Pratt-Hartmann, Ian, Tendera, Lidia

Year:

2012

Language:

english

File:

PDF, 308 KB

english, 2012

17

Logic and Natural Language || Editors' Preface

Nissim Francez and Ian Pratt-Hartmann

Journal:

Year:

2012

Language:

english

File:

PDF, 407 KB

english, 2012

18

The Hamiltonian Syllogistic

Ian Pratt-Hartmann

Journal:

Journal of Logic, Language and Information

Year:

2011

Language:

english

File:

PDF, 2.07 MB

english, 2011

19

The two-variable fragment with counting and equivalence

Pratt-Hartmann, Ian

Journal:

Mathematical Logic Quarterly

Year:

2015

Language:

english

File:

PDF, 919 KB

english, 2015

20

More Fragments of Language

Pratt-Hartmann, Ian, Third, Allan

Journal:

Notre Dame Journal of Formal Logic

Year:

2006

Language:

english

File:

PDF, 326 KB

english, 2006

21

QUINE’S FLUTED FRAGMENT REVISITED

PRATT-HARTMANN, IAN, SZWAST, WIESŁAW, TENDERA, LIDIA

Journal:

Journal of Symbolic Logic

Year:

2019

Language:

english

File:

PDF, 637 KB

english, 2019

22

Editors’ Preface

Nissim Francez, Ian Pratt-Hartmann

Journal:

Year:

2012

Language:

english

File:

PDF, 99 KB

english, 2012

23

Complexity of the Two-Variable Fragment with Counting Quantifiers

Ian Pratt-Hartmann

Journal:

Journal of Logic, Language and Information

Year:

2005

Language:

english

File:

PDF, 486 KB

english, 2005

24

A Topological Constraint Language with Component Counting

Pratt-Hartmann, Ian

Journal:

Journal of Applied Non-Classical Logics

Year:

2002

Language:

english

File:

PDF, 243 KB

english, 2002

25

A Two-Variable Fragment of English

Ian Pratt-Hartmann

Journal:

Journal of Logic, Language and Information

Year:

2003

Language:

english

File:

PDF, 3.16 MB

english, 2003

26

Elementary Polyhedral Mereotopology

Ian Pratt-Hartmann and Dominik Schoop

Journal:

Journal of Philosophical Logic

Year:

2002

Language:

english

File:

PDF, 2.86 MB

english, 2002

27

Equivalence closure in the two-variable guarded fragment

Kieroński, Emanuel, Pratt-Hartmann, Ian, Tendera, Lidia

Journal:

Journal of Logic and Computation

Year:

2015

Language:

english

File:

PDF, 290 KB

english, 2015

28

Fragments of Language

Ian Pratt-Hartmann

Journal:

Journal of Logic, Language and Information

Year:

2004

Language:

english

File:

PDF, 136 KB

english, 2004

29

On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics

Pratt-Hartmann, Ian

Journal:

Bulletin of Symbolic Logic

Year:

2008

Language:

english

File:

PDF, 287 KB

english, 2008

30

Special Issue on Computational Semantics || Fragments of Language

Ian Pratt-Hartmann

Journal:

Journal of Logic, Language and Information

Year:

2004

Language:

english

File:

PDF, 1.69 MB

english, 2004

31

Conditionalization and total knowledge

Pratt-Hartmann, Ian

Journal:

Journal of Applied Non-Classical Logics

Year:

2008

Language:

english

File:

PDF, 231 KB

english, 2008

32

LOGICS FOR THE RELATIONAL SYLLOGISTIC

PRATT-HARTMANN, IAN, MOSS, LAWRENCE S.

Journal:

The Review of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 330 KB

english, 2009

33

Handbook of Spatial Logics || Axioms, Algebras and Topology

Aiello, Marco, Pratt-Hartmann, Ian, Van Benthem, Johan

Year:

2007

Language:

english

File:

PDF, 562 KB

english, 2007

34

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Logics with counting and equivalence

Pratt-Hartmann, Ian

Year:

2014

Language:

english

File:

PDF, 318 KB

english, 2014

35

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics

Kazakov, Yevgeny, Pratt-Hartmann, Ian

Year:

2009

Language:

english

File:

PDF, 318 KB

english, 2009

36

Reasoning about Uncertainty

Pratt-Hartmann, Ian

Journal:

Bulletin of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 80 KB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски